Lightning Talk: Supporting Software Sustainability with Lightweight Specifications
نویسندگان
چکیده
Lightweight specifications support software maintainability by providing a way to verify that any changes to a code base preserve certain program properties. We give two examples of lightweight specifications for numerical code: units-of-measure types which specify the physical units of numerical quantities in a program; and stencil specifications which describe the pattern of data access used in array computations. Not only can we automatically verify that a program correctly implements these requirements but specifications provide documentation for future developers. Specifications can also be inferred and generated automatically in some cases, further reducing programmer effort. We finish by identifying future potential specification techniques to ease the maintenance and comprehension of scientific code.
منابع مشابه
A Lightweight Intrusion Detection System Based on Specifications to Improve Security in Wireless Sensor Networks
Due to the prevalence of Wireless Sensor Networks (WSNs) in the many mission-critical applications such as military areas, security has been considered as one of the essential parameters in Quality of Service (QoS), and Intrusion Detection System (IDS) is considered as a fundamental requirement for security in these networks. This paper presents a lightweight Intrusion Detection System to prote...
متن کاملTrack 2 Lightning Talk: Software Development Best Practices at the Netherlands eScience Center
In this talk we present the software development best practices that the Netherlands eScience Center has developed during the 90+ projects it has participated in, in the 5 years of its existence.
متن کاملMitigation of Transient Overvoltages Generated Due to Switching Operations and Lightning in Gas-insulated Substation (GIS) Without Extra Limiter
Gas-insulated substations (GIS) have different specifications in proportion to air-insulated substations. Transformer failures related to lightning and switching are often reported in the gas insulated substation (GIS). This problem is the voltage magnifications due to reflections of switching and lightning surges at various junctions within the GIS. thereby overvoltages in GIS are more importa...
متن کاملSynthesis of Logic Programs from Object-Oriented Formal Specifications
Early validation of requirements is crucial for the rigorous development of software. Without it, even the most formal of the methodologies will produce the wrong outcome. One successful approach, popularised by some of the so-called lightweight formal methods, consists in generating (finite, small) models of the specifications. Another possibility is to build a running prototype from those spe...
متن کاملExecutable Specifications in an Object Oriented Formal Notation
Early validation of requirements is crucial for the rigorous development of software. Without it, even the most formal of the methodologies will produce the wrong outcome. One successful approach, popularised by some of the so-called lightweight formal methods, consists in generating (finite, small) models of the specifications. Another possibility is to build a running prototype from those spe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016